Categorical Abstract Algebraic Logic: Tarski Congruence Systems, Logical Morphisms and Logical Quotients
نویسنده
چکیده
A general notion of a congruence system is introduced for π-institutions. Congruence systems in this sense are collections of equivalence relations on the sets of sentences of the π-institution that are preserved both by signature morphisms and by fixed collections of natural transformations from finite tuples of sentences to sentences. Based on this notion of a congruence system, the notion of a Tarski congruence system, generalizing the notion of a Tarski congruence from sentential logics, is considered. Logical and bilogical morphisms are introduced for π-institutions, also generalizing similar concepts from the theory of sentential logics, and their relationship with the familiar translations and interpretations of institutions is discussed. Finally, the interplay between these logical maps and the formation of logical quotients of π-institutions and the way they transform the Tarski congruence systems is investigated. GEORGE VOUTSADAKIS 28
منابع مشابه
Behavioral Institutions and Refinements in Generalized Hidden Logics
We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hid-algebraic logic theory of hidden heterogeneous deductive systems (called hidden k-logics) to the algebraic specification of object oriented progra...
متن کاملCategorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
Pałasińska and Pigozzi developed a theory of partially ordered varieties and quasi-varieties of algebras with the goal of addressing issues pertaining to the theory of algebraizability of logics involving an abstract form of the connective of logical implication. Following their lead, the author has abstracted the theory to cover the case of algebraic systems, systems that replace algebras in t...
متن کاملThe logic of distributive bilattices
Bilattices, introduced by Ginsberg [26] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron [3] developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the we...
متن کاملCategorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems
The study of structure systems, an abstraction of the concept of firstorder structures, is continued. Structure systems have algebraic systems rather than universal algebras as their algebraic reducts. Moreover, their relational component consists of a collection of relation systems on the underlying functors rather than simply a system of relations on a single set. Congruence systems of struct...
متن کاملMorphisms in Logic , Topology , and Formal Concept Analysis
The general topic of this thesis is the investigation of various notions of morphisms between logical deductive systems, motivated by the intuition that additional (categorical) structure is needed to model the interrelations of formal specifications. This general task necessarily involves considerations in various mathematical disciplines, some of which might be interesting in their own right ...
متن کامل